Search results for "Algebraic structure"
showing 10 items of 25 documents
On monadic quantale algebras: basic properties and representation theorems
2010
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
An Overview on Algebraic Structures
2016
This chapter recaps and formalizes concepts used in the previous sections of this book. Furthermore, this chapter reorganizes and describes in depth the topics mentioned at the end of Chap. 1, i.e. a formal characterization of the abstract algebraic structures and their hierarchy. This chapter is thus a revisited summary of concepts previously introduced and used and provides the mathematical basis for the following chapters.
Elementary Action Systems
2015
This chapter expounds basic notions. An elementary action system is a triple consisting of the set of states, the transition relation between states, and a family of binary relations defined on the set of states. The elements of this family are called atomic actions. Each pair of states belonging to an atomic action is a possible performance of this action. This purely extensional understanding of atomic actions is close to dynamic logic. Compound actions are defined as sets of finite sequences of atomic actions. Thus compound actions are regarded as languages over the alphabet whose elements are atomic actions. This chapter is concerned with the problem of performability of actions and the…
On ordered categories as a framework for fuzzification of algebraic and topological structures
2009
Using the framework of ordered categories, the paper considers a generalization of the fuzzification machinery of algebraic structures introduced by Rosenfeld as well as provides a new approach to fuzzification of topological structures, which amounts to fuzzifying the underlying ''set'' of a structure in a suitably compatible way, leaving the structure itself crisp. The latter machinery allows the so-called ''double fuzzification'', i.e., a fuzzification of something that is already fuzzified.
Topological systems and Artin glueing
2012
Abstract Using methods of categorical fuzzy topology, the paper shows a relation between topological systems of S. Vickers and Artin glueing of M. Artin. Inspired by the problem of interrelations between algebra and topology, we show the necessary and sufficient conditions for the category, obtained by Artin glueing along an adjoint functor, to be (co)algebraic and (co)monadic, incorporating the respective result of G. Wraith. As a result, we confirm the algebraic nature of the category of topological systems, showing that it is monadic.
Some contributions to the theory of transformation monoids
2019
The aim of this paper is to present some contributions to the theory of finite transformation monoids. The dominating influence that permutation groups have on transformation monoids is used to describe and characterise transitive transformation monoids and primitive transitive transformation monoids. We develop a theory that not only includes the analogs of several important theorems of the classical theory of permutation groups but also contains substantial information about the algebraic structure of the transformation monoids. Open questions naturally arising from the substantial paper of Steinberg [A theory of transformation monoids: combinatorics and representation theory. Electron. J…
Multiplicative loops of 2-dimensional topological quasifields
2015
We determine the algebraic structure of the multiplicative loops for locally compact $2$-dimensional topological connected quasifields. In particular, our attention turns to multiplicative loops which have either a normal subloop of positive dimension or which contain a $1$-dimensional compact subgroup. In the last section we determine explicitly the quasifields which coordinatize locally compact translation planes of dimension $4$ admitting an at least $7$-dimensional Lie group as collineation group.
Algebraic Structures of Rough Sets in Representative Approximation Spaces
2003
Abstract In this paper a generalized notion of an approximation space is considered. By an approximation space we mean an ordered pair (U, C ), where U is a finite nonempty set and C is a covering of U. According to connections between rough sets and concepts we define two types of approximation operations. Hence we obtain two families of rough sets. We show that these families form lattices in special types of representative approximation spaces. The operations on rough sets defined in the above lattices are analogous to classical operations on sets.
From quantale algebroids to topological spaces: Fixed- and variable-basis approaches
2010
Using the category of quantale algebroids the paper considers a generalization of the classical Papert-Papert-Isbell adjunction between the categories of topological spaces and locales to partial algebraic structures. It also provides a single framework in which to treat the concepts of quasi, standard and stratified fuzzy topology.
Mapping nonlinear gravity into General Relativity with nonlinear electrodynamics
2018
We show that families of nonlinear gravity theories formulated in a metric-affine approach and coupled to a nonlinear theory of electrodynamics can be mapped into General Relativity (GR) coupled to another nonlinear theory of electrodynamics. This allows to generate solutions of the former from those of the latter using purely algebraic transformations. This correspondence is explicitly illustrated with the Eddington-inspired Born-Infeld theory of gravity, for which we consider a family of nonlinear electrodynamics and show that, under the map, preserve their algebraic structure. For the particular case of Maxwell electrodynamics coupled to Born-Infeld gravity we find, via this corresponden…